Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
311	Ultrametric Semantics of Reactive Programs Neelakantan R. Krishnaswami Nick Benton Microsoft Research Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-04-05 08:15:20 Software engineering Natural deduction Proof theory Denotational semantics Monad Symbol Orbifold Theoretical computer science Deduction Mathematical logic
312	A Utility-Theoretic Ranking Method for Semi-Automated Text Classification∗ Giacomo Berardi, Andrea Esuli, and Fabrizio Sebastiani Istituto di Scienza e Tecnologie dell’Informazione Consiglio Nazionale delle Ricerche Add to Reading List Source URL: nmis.isti.cnr.it Language: English - Date: 2012-08-17 08:03:57 Philosophy of mind Semantics Symbol Logic Linguistics Philosophy Interpretation Model theory Philosophy of language
313	Broadening the Scope of Nanopublications? Tobias Kuhn,1,2 Paolo Emilio Barbano,3 Mate Levente Nagy,4 Michael Krauthammer4,1 1 Department of Pathology, Yale University, New Haven, USA Add to Reading List Source URL: eswc-conferences.org Language: English - Date: 2015-05-13 12:33:38 Theories of truth Semantics Philosophical logic Veracity Semantic Web Truth Sentence AIDA Malaria Science Philosophy Logic
314	Semantics of Plan Revision in Intelligent Agents M. Birna van Riemsdijk John-Jules Ch. Meyer Frank S. de Boer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2004-01-23 02:56:37 Computer science Models of computation Programming language semantics Denotational semantics Operational semantics State transition system Programming language Semantics Meta-programs Theoretical computer science Logic in computer science Applied mathematics
315	The Semantics of Scheme Control-Flow Analysis Olin Shivers School of Computer Science Carnegie Mellon Pittsburgh, Pennsylvania 15213 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:31 Functional programming Models of computation Logic in computer science Lambda calculus Programming language semantics Continuation-passing style Denotational semantics Free variables and bound variables Closure Software engineering Computing Computer programming
316	Distributed Games and Strategies Glynn Winskel The notion of deterministic/nondeterministic strategy is potentially as fundamental as the notion of function/relation. A broad enough notion of strategy must be planted fir Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-03-17 07:19:58 Logic in computer science Computer science Applied mathematics Denotational semantics Petri net Determinacy Strategy Models of computation Theoretical computer science Concurrency
317	Specicity and Scope Donka F. Farkas, UCSC 1. Introduction1 The notion of specicity has played a signicant role in linguistic theory both in the elds of semantics and, increasingly, in work on syntax/semantics interf Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:41 Logic METAR Modal logic Language Existence Noun Determiner Grammar Parts of speech Linguistics
318	Extreme Non−Specificity in Romanian1 Donka F. Farkas UCSC 1. Background In the extensive literature on the semantics of noun phrases, the most commonly encountered paramters of classification concern the semantic type Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:41 Article Dps Analytic philosophy Logic Quantification Semantics
319	Copyrighted Material Introduction This book Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2010-07-28 11:07:12 Philosophical logic Philosophy of language Meaning Semantics Theories of truth Truth Proposition Saul Kripke Language Philosophy Logic Analytic philosophy
320	On Reacting to Assertions and Polar Questions Donka F. Farkas UC Santa Cruz Kim B. Bruce Pomona College Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Pragmatics Philosophy of language Semantics Discourse analysis Oral communication Context Speech act Robert Stalnaker Rhetorical question Linguistics Logic Science

UPDATE